翻訳と辞書 Words near each other ・ Algebraic Logic Functional programming language ・ Algebraic manifold ・ Algebraic matroid ・ Algebraic modeling language ・ Algebraic normal form ・ Algebraic notation ・ Algebraic notation (chess) ・ Algebraic number ・ Algebraic number field ・ Algebraic number theory ・ Algebraic operation ・ Algebraic Petri net ・ Algebraic Reconstruction Technique ・ Algebraic Riccati equation ・ Algebraic semantics ・ Algebraic semantics (computer science) ・ Algebraic semantics (mathematical logic) ・ Algebraic sentence ・ Algebraic signal processing ・ Algebraic solution ・ Algebraic space ・ Algebraic specification ・ Algebraic statistics ・ Algebraic structure ・ Algebraic surface ・ Algebraic theory ・ Algebraic topology ・ Algebraic topology (object) ・ Algebraic torus ・ Algebraic variety Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Algebraic semantics (computer science) ： ウィキペディア英語版 Algebraic semantics (computer science) In computer science, algebraic semantics is a form of axiomatic semantics based on algebraic laws for describing and reasoning about program semantics in a formal manner. == See also == * OBJ (programming language) * Joseph Goguen 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Algebraic semantics (computer science)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.